Optimal. Leaf size=109 \[ \frac {\tan ^{-1}\left (\frac {\sqrt [4]{a} x}{\sqrt {\sqrt {a}-\sqrt {b}}}\right )}{2 \sqrt [4]{a} \sqrt {b} \sqrt {\sqrt {a}-\sqrt {b}}}-\frac {\tan ^{-1}\left (\frac {\sqrt [4]{a} x}{\sqrt {\sqrt {a}+\sqrt {b}}}\right )}{2 \sqrt [4]{a} \sqrt {b} \sqrt {\sqrt {a}+\sqrt {b}}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.05, antiderivative size = 109, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {1093, 205} \[ \frac {\tan ^{-1}\left (\frac {\sqrt [4]{a} x}{\sqrt {\sqrt {a}-\sqrt {b}}}\right )}{2 \sqrt [4]{a} \sqrt {b} \sqrt {\sqrt {a}-\sqrt {b}}}-\frac {\tan ^{-1}\left (\frac {\sqrt [4]{a} x}{\sqrt {\sqrt {a}+\sqrt {b}}}\right )}{2 \sqrt [4]{a} \sqrt {b} \sqrt {\sqrt {a}+\sqrt {b}}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 205
Rule 1093
Rubi steps
\begin {align*} \int \frac {1}{a-b+2 a x^2+a x^4} \, dx &=\frac {\sqrt {a} \int \frac {1}{a-\sqrt {a} \sqrt {b}+a x^2} \, dx}{2 \sqrt {b}}-\frac {\sqrt {a} \int \frac {1}{a+\sqrt {a} \sqrt {b}+a x^2} \, dx}{2 \sqrt {b}}\\ &=\frac {\tan ^{-1}\left (\frac {\sqrt [4]{a} x}{\sqrt {\sqrt {a}-\sqrt {b}}}\right )}{2 \sqrt [4]{a} \sqrt {\sqrt {a}-\sqrt {b}} \sqrt {b}}-\frac {\tan ^{-1}\left (\frac {\sqrt [4]{a} x}{\sqrt {\sqrt {a}+\sqrt {b}}}\right )}{2 \sqrt [4]{a} \sqrt {\sqrt {a}+\sqrt {b}} \sqrt {b}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.06, size = 105, normalized size = 0.96 \[ \frac {\tan ^{-1}\left (\frac {\sqrt {a} x}{\sqrt {a-\sqrt {a} \sqrt {b}}}\right )}{2 \sqrt {b} \sqrt {a-\sqrt {a} \sqrt {b}}}-\frac {\tan ^{-1}\left (\frac {\sqrt {a} x}{\sqrt {\sqrt {a} \sqrt {b}+a}}\right )}{2 \sqrt {b} \sqrt {\sqrt {a} \sqrt {b}+a}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.96, size = 553, normalized size = 5.07 \[ -\frac {1}{4} \, \sqrt {-\frac {\frac {a b - b^{2}}{\sqrt {a^{3} b - 2 \, a^{2} b^{2} + a b^{3}}} + 1}{a b - b^{2}}} \log \left ({\left (b - \frac {a^{2} b - a b^{2}}{\sqrt {a^{3} b - 2 \, a^{2} b^{2} + a b^{3}}}\right )} \sqrt {-\frac {\frac {a b - b^{2}}{\sqrt {a^{3} b - 2 \, a^{2} b^{2} + a b^{3}}} + 1}{a b - b^{2}}} + x\right ) + \frac {1}{4} \, \sqrt {-\frac {\frac {a b - b^{2}}{\sqrt {a^{3} b - 2 \, a^{2} b^{2} + a b^{3}}} + 1}{a b - b^{2}}} \log \left (-{\left (b - \frac {a^{2} b - a b^{2}}{\sqrt {a^{3} b - 2 \, a^{2} b^{2} + a b^{3}}}\right )} \sqrt {-\frac {\frac {a b - b^{2}}{\sqrt {a^{3} b - 2 \, a^{2} b^{2} + a b^{3}}} + 1}{a b - b^{2}}} + x\right ) - \frac {1}{4} \, \sqrt {\frac {\frac {a b - b^{2}}{\sqrt {a^{3} b - 2 \, a^{2} b^{2} + a b^{3}}} - 1}{a b - b^{2}}} \log \left ({\left (b + \frac {a^{2} b - a b^{2}}{\sqrt {a^{3} b - 2 \, a^{2} b^{2} + a b^{3}}}\right )} \sqrt {\frac {\frac {a b - b^{2}}{\sqrt {a^{3} b - 2 \, a^{2} b^{2} + a b^{3}}} - 1}{a b - b^{2}}} + x\right ) + \frac {1}{4} \, \sqrt {\frac {\frac {a b - b^{2}}{\sqrt {a^{3} b - 2 \, a^{2} b^{2} + a b^{3}}} - 1}{a b - b^{2}}} \log \left (-{\left (b + \frac {a^{2} b - a b^{2}}{\sqrt {a^{3} b - 2 \, a^{2} b^{2} + a b^{3}}}\right )} \sqrt {\frac {\frac {a b - b^{2}}{\sqrt {a^{3} b - 2 \, a^{2} b^{2} + a b^{3}}} - 1}{a b - b^{2}}} + x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.25, size = 299, normalized size = 2.74 \[ \frac {{\left (3 \, \sqrt {a^{2} + \sqrt {a b} a} a^{2} b - 4 \, \sqrt {a^{2} + \sqrt {a b} a} a b^{2} - 3 \, \sqrt {a^{2} + \sqrt {a b} a} \sqrt {a b} a^{2} + 4 \, \sqrt {a^{2} + \sqrt {a b} a} \sqrt {a b} a b\right )} {\left | a \right |} \arctan \left (\frac {2 \, \sqrt {\frac {1}{2}} x}{\sqrt {\frac {2 \, a + \sqrt {-4 \, {\left (a - b\right )} a + 4 \, a^{2}}}{a}}}\right )}{2 \, {\left (3 \, a^{5} b - 7 \, a^{4} b^{2} + 4 \, a^{3} b^{3}\right )}} + \frac {{\left (3 \, \sqrt {a^{2} - \sqrt {a b} a} a^{2} b - 4 \, \sqrt {a^{2} - \sqrt {a b} a} a b^{2} + 3 \, \sqrt {a^{2} - \sqrt {a b} a} \sqrt {a b} a^{2} - 4 \, \sqrt {a^{2} - \sqrt {a b} a} \sqrt {a b} a b\right )} {\left | a \right |} \arctan \left (\frac {2 \, \sqrt {\frac {1}{2}} x}{\sqrt {\frac {2 \, a - \sqrt {-4 \, {\left (a - b\right )} a + 4 \, a^{2}}}{a}}}\right )}{2 \, {\left (3 \, a^{5} b - 7 \, a^{4} b^{2} + 4 \, a^{3} b^{3}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 74, normalized size = 0.68 \[ -\frac {a \arctanh \left (\frac {a x}{\sqrt {\left (-a +\sqrt {a b}\right ) a}}\right )}{2 \sqrt {a b}\, \sqrt {\left (-a +\sqrt {a b}\right ) a}}-\frac {a \arctan \left (\frac {a x}{\sqrt {\left (a +\sqrt {a b}\right ) a}}\right )}{2 \sqrt {a b}\, \sqrt {\left (a +\sqrt {a b}\right ) a}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{a x^{4} + 2 \, a x^{2} + a - b}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 5.78, size = 322, normalized size = 2.95 \[ \frac {\ln \left (4\,a^3\,b\,\sqrt {-\frac {1}{a\,b+\sqrt {a\,b^3}}}-4\,a^3\,x+\frac {4\,a^4\,b\,x}{a\,b+\sqrt {a\,b^3}}\right )\,\sqrt {-\frac {1}{a\,b+\sqrt {a\,b^3}}}}{4}+\frac {\ln \left (4\,a^3\,x-4\,a^3\,b\,\sqrt {-\frac {1}{a\,b-\sqrt {a\,b^3}}}-\frac {4\,a^4\,b\,x}{a\,b-\sqrt {a\,b^3}}\right )\,\sqrt {-\frac {1}{a\,b-\sqrt {a\,b^3}}}}{4}-\ln \left (4\,a^3\,x+4\,a^3\,b\,\sqrt {-\frac {1}{a\,b+\sqrt {a\,b^3}}}-\frac {4\,a^4\,b\,x}{a\,b+\sqrt {a\,b^3}}\right )\,\sqrt {\frac {a\,b-\sqrt {a\,b^3}}{16\,\left (a\,b^3-a^2\,b^2\right )}}-\ln \left (4\,a^3\,x+16\,a^3\,b\,\sqrt {-\frac {1}{16\,a\,b-16\,\sqrt {a\,b^3}}}-\frac {4\,a^4\,b\,x}{a\,b-\sqrt {a\,b^3}}\right )\,\sqrt {\frac {a\,b+\sqrt {a\,b^3}}{16\,\left (a\,b^3-a^2\,b^2\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.95, size = 63, normalized size = 0.58 \[ \operatorname {RootSum} {\left (t^{4} \left (256 a^{2} b^{2} - 256 a b^{3}\right ) + 32 t^{2} a b + 1, \left (t \mapsto t \log {\left (- 64 t^{3} a^{2} b + 64 t^{3} a b^{2} - 4 t a - 4 t b + x \right )} \right )\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________